dans le corps des ingénieurs de l'industrie et des mines du ministère de l'économie, des finances et de l'industrie